MIROC-ESM 2010: model description and basic results of CMIP5-20c3m experiments

Detection of global runoff changes: results from observations and CMIP5 experiments

This paper assesses the detectability of changes in global streamflow. First, a statistical detection method is applied to observed (no missing data which represent 42 % of global discharge) and reconstructed (gaps are filled in order to cover a larger area and about 60 % of global discharge) streamflow. Observations show no change over the 1958–1992 period. Further, an extension to 2004 over t...

the innovation of a statistical model to estimate dependable rainfall (dr) and develop it for determination and classification of drought and wet years of iran

آب حاصل از بارش منبع تأمین نیازهای بی شمار جانداران به ویژه انسان است و هرگونه کاهش در کم و کیف آن مستقیماً حیات موجودات زنده را تحت تأثیر منفی قرار می دهد. نوسان سال به سال بارش از ویژگی های اساسی و بسیار مهم بارش های سالانه ایران محسوب می شود که آثار زیان بار آن در تمام عرصه های اقتصادی، اجتماعی و حتی سیاسی- امنیتی به نحوی منعکس می شود. چون میزان آب ناشی از بارش یکی از مولفه های اصلی برنامه ...

Model checking the basic modalities of CTL with Description Logic

Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite the fact that model checking may require analyzing the entire reachable state space of a protocol under analysis, model checkers are routinely used in the computer industry. To allow for the analysis of large systems, different a...

K - 1 Coupled GCM ( MIROC ) Description K - 1 model developers Center for Climate System Research ( CCSR ) , University

Description for IWSLT 2010

Our submission is a non-structural Example-Based Machine Translation system that translates text from Arabic to English, using a parallel corpus aligned at the paragraph / sentence level. Each new input sentence is fragmented into phrases and those phrases are matched to example patterns, using various levels of morphological information. Source-language synonyms were derived automatically and ...